equivalent type